Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
241	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
242	PDF Document Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2013-01-02 04:40:23 Model theory Mathematical structures Mathematical logic Complexity classes Computability theory Equivalence relation Structure FO Metric space Arithmetical hierarchy Definable set Mutation
243	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic
244	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
245	Multi-Agency Is Coordination And (Limited) Communication Piotr Ka´zmierczak1,2 , Thomas ˚ Agotnes2 , and Wojciech Jamroga3,4 1 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:37 Model theory Artificial intelligence Formal epistemology Modal logic Game theory Symbol Airfuel ratio Structure Cooperative game Epistemic modal logic
246	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
247	Controlling Boolean Logic and DHCP Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:28 Actor model Concurrent computing Dwight D. Eisenhower Ike Stan
248	Towards a Fully-Parallel DLV System Simona Perri, Francesco Ricca, and Marco Sirianni Department of Mathematics University of CalabriaRende, Italy perri,ricca, Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 06:37:26 Logic programming DLV Answer set programming Stable model semantics Heuristic Parsing
249	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with Add to Reading List Source URL: coccinelle.lip6.fr Language: English C Struct Sizeof Stat C++ classes Coccinelle
250	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net

UPDATE